Towards Inconsistency Management by Process-Oriented Dependency Modeling
نویسندگان
چکیده
Multi-paradigm modeling settings inherently and frequently cause inconsistencies between models in di erent languages involved in the design. The proper management of inconsistencies starts with choosing the appropriate formalisms to characterize inconsistent situations. In this paper, we introduce a formalism, which allows reasoning about inconsistencies in the context of the design process. We support our ideas by examples from a case study on the design of an unmanned aerial vehicle.
منابع مشابه
Dependency Modeling of a SOA Based System Through Colored Petri Nets
Dependency relationships play an important role in testing, maintenance and configuration management of software systems. The informal dependency representations fail to observe behavioral connections among subsystems and cause ambiguity in representing different types of dependency relationships. Therefore, dependency in a software system requires a formal and unambiguous representation so tha...
متن کاملA Mediocre Approach to Syndicate the Attributes for a Class or Relation
The design of an information system for a business process can be implemented either in the object-oriented paradigm or in relational database management system as per the client’s choice. In object oriented paradigm, the design starts with abstraction of objects, classes, attributes, functional dependencies, interrelationships and use cases but in relational database management system (RDBMS) ...
متن کاملInternational Workshop on Multi-paradigm Modeling Mpm 2013 Co-located with Models 2013 a Domain-specific Language for Dependency Management in Model-based towards a Multi-domain Model-driven Traceability Approach . . . . . . . . 27 towards Compositional Domain Specific Languages
The varying stakeholder concerns in product development today introduces a number of design challenges. From the perspective of Model-Based Systems Engineering (MBSE), a particular challenge is that multiple views established to address the stakeholder concerns are overlapping with many dependencies in between. The important question is how to adequately manage such dependencies. The primary hy...
متن کاملModel and Dependency Management in Mechatronic Design
Managing consistency is a major concern in the design of complex engineering systems. At times, inconsistencies may lead to wrong decisions, resulting in design flaws which can compromise safety and cause failures. One cannot forget the 1999 NASA unmanned MARS Climate Orbiter, which was destroyed due to use of inconsistent units by design teams. Sadly, the history of inconsistency causing failu...
متن کاملHybrid modeling and simulation for trustworthy software process management: a stakeholder-oriented approach
Process Management Model (PMM) and Process Simulation Model (PSM) are the critical infrastructural components of the Trustworthy Process Management Framework (TPMF), which involves a large and heterogeneous group of stakeholders in process modeling and simulation to improve process trustworthiness. Process Modeling Stakeholders (PMS) have different levels of dependency on various process modeli...
متن کامل